symbolic computation system